|
Test Suite for ARINC 653 Developed |
|
UniTESK Lab. has developed a test suite, which ensures conformance to ARINC 653 "Avionics Application Software Standard Interface" specification. The test suite satisfies to ARINC 653 part 3 "Conformity Test Specification", which describes the requirements necessary to demonstrate conformity to the software interface defined in ARINC 653 part 1 "Required Services". |
|
Read more...
|
|
|
Workshop «Go4IT – A Step Towards New Internet Technologies» |
|
On April 17-18, 2007 the workshop on Go4IT was held in Moscow, Russia. It was devoted to Go4IT project as well as IPv6 dissemination and deployment.
Go4IT project, its services and deliverables were presented by consortium members in the plenary session "Introduction to Go4IT". The research studies on testing protocols were presented during user conference. Test suites from European Telecommunications Standards Institute, Go4IT test platform and Institute for System Programming RAS were presented in a session of practical testing "IPv6 Plugtest Moscow". Presented by ISP RAS test suite was developed using UniTESK technology.
 
|
|
Read more...
|
|
|
UniTESK technology was presented at CeBIT 2007, Hannover, Germany, March 14-21. The technology has got favourable reports from visitors of our booth, which was a part of the consolidated exposition of the Russian Ministry for Science and Education (Hall #6, Stand A48).
 
|
|
|
Success in Hardware Design Testing |
|
By now we have developed and successfully approved the UniTESK-based approach to specification and testing of RTL models of hardware. Since requirements set on reliability of hardware systems are very strong, thorough systematic evaluation is required. We conceive of hardware design testing as a perspective and strategically important field of the UniTESK technology application. |
|
Read more...
|
|
In 2006 research on UniTESK technology development in the following directions was started.
- Test development for mathematical functions working with floating-point numbers.
- Test development for units of pipelined architecture microprocessors.
- Application of model checking techniques in testing of component distributed systems.
Research on the following previously elaborated topics went on.
- Automation of complex structured data generation for testing of software working with databases, XML documents, or documents in other formal languages.
- Automation of test program generation for programming languages static semantics checkers.
- Automation of structural test generation based on genetic algorithms and logic programming methods.
- Development of theoretical basis of formal testing methods for component systems.
Results of this research and the previously conducted one lead to upholding of 4 PhD theses under supervision of Dr.Sc. A. K. Petrenko on the following topics.
- Specification and testing of components with asynchronous interface - A. V. Khoroshilov.
- Formalization of standards and conformance test suites for Internet protocols - N. V. Pakulin.
- Automated generation of tests for semantic checkers in translators - M. V. Arkhipova.
- Object-oriented description of graph representation for programs and models - A. V. Demakov.
On the base of the research results 8 talks was conducted on international conferences MBT 2006, PSI 2006, SEC(R) 2006, MSIT 2006, ISOLA 2006.
Besides, UniTESK technology was successfully used in 2006 in several industrial and development projects.
- Development of OLVER test suite for testing conformance to Linux Standard Base 3.1.
- Development of test suite based on formal specifications of the real-time operating system OS 2000.
- Test development for enterprise integration system of major telecommunication company.
- Development of conformance test suite for IPsec protocol.
|
|
|
|
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
|
| Results 37 - 45 of 82 |
